Laroussinie, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. 44.95. 975 pp. Hardcover

Laroussinie, F.

Journal:

The Computer Journal

Year:

2010

Language:

english

File:

PDF, 40 KB

english, 2010

2

Augmenting ATL with strategy contexts

Laroussinie, François, Markey, Nicolas

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 609 KB

english, 2015

3

On the expressivity and complexity of quantitative branching-time temporal logics

F. Laroussinie, Ph. Schnoebelen, M. Turuani

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 347 KB

english, 2003

4

A parametric analysis of the state-explosion problem in model checking

S. Demri, F. Laroussinie, Ph. Schnoebelen

Journal:

Journal of Computer and System Sciences

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

5

solvers

Hossain, Akash, Laroussinie, FranÃ§ois

Journal:

Information and Computation

Year:

2020

File:

PDF, 810 KB

2020

6

Une consultation multidisciplinaire pour les enfants traités pour une tumeur cérébrale

V. Kieffer, D. Oppenheim, F. Laroussinie, G. Gadalou, V. Coutinho, C. Ribaille, M.-A. Raquin, F. Doz, O. Hartmann, C. Kalifa, A. Laurent-Vannier, J. Grill

Journal:

Archives de Pédiatrie

Year:

2007

Language:

french

File:

PDF, 295 KB

french, 2007

7

Cognitive and Academic Outcome After Benign or Malignant Cerebellar Tumor in Children

Callu, Delphine, Viguier, Delphine, Laroussinie, Françoise, Puget, Stéphanie, Boddaert, Nathalie, Kieffer, Virginie, Piana, Hélène, Escolano, Sylvie, Renier, Dominique, Sainte-Rose, Christian, Grill,

Journal:

Cognitive and Behavioral Neurology

Year:

2009

Language:

english

File:

PDF, 377 KB

english, 2009

8

Syndrome de Netherton : évaluation des axes antéhypophysaires – étude REHYNE

Laroussinie, A., Hainaut, E., Barbarot, S., Drui, D., Pierre, P., Sonnet, E., Tauber, M., Hadjadj, S., Piguel, X.

Journal:

Annales d'Endocrinologie

Year:

2016

Language:

french

File:

PDF, 141 KB

french, 2016

9

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || From Multi to Single Stack Automata

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 259 KB

english, 2010

10

Récidive tardive d’un insulinome sporadique après énucléation

Castagnet, M., Donatini, G., Laroussinie, A., Kraimps, J.L.

Journal:

Annales d'Endocrinologie

Year:

2014

Language:

french

File:

PDF, 267 KB

french, 2014

11

094 Prevention of tunnelled catheter-related bacteraemia: is the solution antibiotic, heparin or citrate lock therapy associated with universal hygiene recommendations? follow-up over three consecutive periods (1999-2008)

Guerraoui, A., Laroussinie, G., Agnes, P., Clair, R., Sandrine, R., Christine, R., Dubord, C., Sandrine, P.

Journal:

BMJ Quality & Safety

Year:

2010

File:

PDF, 55 KB

2010

12

ChemInform Abstract: REARRANGEMENTS IN BASIC MEDIA. ALKYLATION OF ETHYL SUCCINYLSUCCINATE BY α,α′-DIBROMO-O-XYLENE

CUER-LAROUSSINIE, A., LHOMME, J.

Journal:

Chemischer Informationsdienst

Year:

1977

File:

PDF, 186 KB

1977

13

Parental report of cognitive difficulties, quality of life and rehabilitation in children with epilepsy or treated for brain tumour

Soria, Carmen, Callu, Delphine, Viguier, Delphine, El Sabbagh, Sandra, Bulteau, Christine, Laroussinie, FranÇoise, Dellatolas, Georges

Journal:

Developmental Neurorehabilitation

Year:

2008

Language:

english

File:

PDF, 103 KB

english, 2008

14

Myélome multiple révélé par une diplopie

Laroussinie, A., Torremocha, F., Levillain, P., Blanc, J.-L., Marechaud, R.

Journal:

Annales d'Endocrinologie

Year:

2013

Language:

french

File:

PDF, 265 KB

french, 2013

15

About the expressive power of CTL combinators

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 295 KB

english, 1995

16

Specification in CTL+Past for Verification in CTL

F. Laroussinie, Ph. Schnoebelen

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 419 KB

english, 2000

17

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Communicating Transactions

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 275 KB

english, 2010

18

Intellectual outcome in children with malignant tumors of the posterior fossa: influence of the field of irradiation and quality of surgery

E. Hoppe-Hirsch, L. Brunet, F. Laroussinie, G. Cinalli, A. Pierre-Kahn, D. Rénier, C. Sainte-Rose, J. F. Hirsch

Journal:

Child's Nervous System

Year:

1995

Language:

english

File:

PDF, 588 KB

english, 1995

19

Long-term functional outcome of patients with cerebellar pilocytic astrocytoma surgically treated in childhood

Ait Khelifa-Gallois, N., Laroussinie, F., Puget, S., Sainte- Rose, C., Dellatolas, G.

Journal:

Year:

2015

Language:

english

File:

PDF, 189 KB

english, 2015

20

Late outcome of the surgical treatment of hydrocephalus

E. Hoppe-Hirsch, F. Laroussinie, L. Brunet, C. Sainte-Rose, D. Renier, G. Cinalli, M. Zerah, A. Pierre-Kahn

Journal:

Child's Nervous System

Year:

1998

Language:

english

File:

PDF, 45 KB

english, 1998

21

Is your model checker on time? On the complexity of model checking for timed modal logics

Luca Aceto, François Laroussinie

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 413 KB

english, 2002

22

A hierarchy of temporal logics with past

F. Laroussinie, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.40 MB

english, 1995

23

Specification in CTL+Past, Verification in CTL

F. Laroussinie, Ph. Schnoebelen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.39 MB

english, 1997

24

Efficient timed model checking for discrete-time systems

F. Laroussinie, N. Markey, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

25

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - Counting LTL

Laroussinie, Francois, Meyer, Antoine, Petonnet, Eudes

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

26

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 291 KB

english, 2010

27

Guidelines for a graduate curriculum on embedded software and systems

Caspi, P., Folher, G., Garcia-Valls, M., Kopetz, H., Lakhnech, Y., Laroussinie, F., Lavagno, L., Lipari, G., Maraninchi, F., Peti, Ph., Puente, J. de la, Sangiovanni-Vincentelli, A., Scaife, N., Sifak

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2005

Language:

english

File:

PDF, 140 KB

english, 2005

28

Timed Modal Logics for Real-Time Systems: Specification, Verification and Control

Patricia Bouyer, Franck Cassez and François Laroussinie

Journal:

Journal of Logic, Language and Information

Year:

2011

Language:

english

File:

PDF, 2.42 MB

english, 2011

29

Translations between modal logics of reactive systems

F. Laroussinie, S. Pinchinat, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.15 MB

english, 1995

30

Teachers’ report of learning and behavioural difficulties in children treated for cerebellar tumours

Kieffer, Virginie, Longaud, Audrey, Callu, Delphine, Laroussinie, Françoise, Viguier, Delphine, Grill, Jacques, Dellatolas, Georges

Journal:

Year:

2012

Language:

english

File:

PDF, 112 KB

english, 2012

31

Remediation of learning difficulties in children after treatment for a cerebellar medulloblastoma: A single-case study

Callu, Delphine, Laroussinie, FranÇoise, Kieffer, Virginie, Notteghem, Pauline, Zerah, Michel, Hartmann, Olivier, Grill, Jacques, Dellatolas, Georges

Journal:

Developmental Neurorehabilitation

Year:

2008

Language:

english

File:

PDF, 190 KB

english, 2008

32

Timed Modal Logics for Real-Time Systems

Patricia Bouyer, Franck Cassez, François Laroussinie

Journal:

Journal of Logic, Language and Information

Year:

2011

Language:

english

File:

PDF, 499 KB

english, 2011

33

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Concurrency and Composition in a Stochastic World

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 329 KB

english, 2010

34

Clinical Evidence of the Role of the Cerebellum in the Suppression of Overt Articulatory Movements During Reading. A Study of Reading in Children and Adolescents Treated for Cerebellar Pilocytic Astrocytoma

Ait Khelifa-Gallois, N., Puget, S., Longaud, A., Laroussinie, F., Soria, C., Sainte-Rose, C., Dellatolas, G.

Journal:

Year:

2015

Language:

english

File:

PDF, 374 KB

english, 2015

35

State explosion in almost-sure probabilistic reachability

François Laroussinie, Jeremy Sproston

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 148 KB

english, 2007

36

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Kleene, Rabin, and Scott Are Available

Gastin, Paul, Laroussinie, François

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

37

[IEEE Comput. Soc 17th Annual IEEE Symposium on Logic in Computer Science - Copenhagen, Denmark (22-25 July 2002)] Proceedings 17th Annual IEEE Symposium on Logic in Computer Science - Temporal logic with forgettable past

Laroussinie, F., Markey, N., Schnoebelen, P.

Year:

2002

Language:

english

File:

PDF, 459 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски